Asynchronous parametric excitation: validation of theoretical results by electronic circuit simulation

simulation and design of electronic processing circuit for restaurants e-procurement system

the poor orientation of the restaurants toward the information technology has yet many unsolved issues in regards to the customers. one of these problems which lead the appeal list of later, and have a negative impact on the prestige of the restaurant is the case when the later does not respond on time to the customers’ needs, and which causes their dissatisfaction. this issue is really sensiti...

Validation of Asynchronous Circuit Specifications Using IF/CADP

This work addresses the analysis and validation of modular CHP specifications for asynchronous circuits, using formalisms and tools coming from the field of distributed software. CHP specifications are translated into an intermediate format (IF) based on communicating extended finite state machines. They are then validated using the IF environment, which provides model checking and bi-simulatio...

Algorithm’s Simulation & Validation Results

A correctness criterion for asynchronous circuit validation and optimization

We propose a new relation C called strong conformance in the context o f Dill's trace theory [1], and define B C A to be true exactly when B conforms to A and the success set o f B contains the success set o f A. When B O A , module B operated in module A's maximal environment AM (i.e. B || A ) exhibits all the traces that A || AM exhibits. In addition, if A has a success trace x, B can have ad...

Electronic circuit simulation with ideal switches

A recent model of an internally or externally controlled ideal switch is described. General nonperiodical switching is considered. No limitations regarding the circuit structure and complexity are imposed. Application to variety of electronic circuits is demonstrated. Special attention is paid to electronic power circuits such as switched power supplies and converters.